Optimal. Leaf size=92 \[ -\frac {a^2 \tanh ^{-1}(\cosh (c+d x))}{d}-\frac {b (2 a+b) \cosh (c+d x)}{d}+\frac {b (2 a+3 b) \cosh ^3(c+d x)}{3 d}-\frac {3 b^2 \cosh ^5(c+d x)}{5 d}+\frac {b^2 \cosh ^7(c+d x)}{7 d} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.07, antiderivative size = 92, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 3, integrand size = 21, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.143, Rules used = {3294, 1167,
212} \begin {gather*} -\frac {a^2 \tanh ^{-1}(\cosh (c+d x))}{d}+\frac {b (2 a+3 b) \cosh ^3(c+d x)}{3 d}-\frac {b (2 a+b) \cosh (c+d x)}{d}+\frac {b^2 \cosh ^7(c+d x)}{7 d}-\frac {3 b^2 \cosh ^5(c+d x)}{5 d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 212
Rule 1167
Rule 3294
Rubi steps
\begin {align*} \int \text {csch}(c+d x) \left (a+b \sinh ^4(c+d x)\right )^2 \, dx &=-\frac {\text {Subst}\left (\int \frac {\left (a+b-2 b x^2+b x^4\right )^2}{1-x^2} \, dx,x,\cosh (c+d x)\right )}{d}\\ &=-\frac {\text {Subst}\left (\int \left (b (2 a+b)-b (2 a+3 b) x^2+3 b^2 x^4-b^2 x^6+\frac {a^2}{1-x^2}\right ) \, dx,x,\cosh (c+d x)\right )}{d}\\ &=-\frac {b (2 a+b) \cosh (c+d x)}{d}+\frac {b (2 a+3 b) \cosh ^3(c+d x)}{3 d}-\frac {3 b^2 \cosh ^5(c+d x)}{5 d}+\frac {b^2 \cosh ^7(c+d x)}{7 d}-\frac {a^2 \text {Subst}\left (\int \frac {1}{1-x^2} \, dx,x,\cosh (c+d x)\right )}{d}\\ &=-\frac {a^2 \tanh ^{-1}(\cosh (c+d x))}{d}-\frac {b (2 a+b) \cosh (c+d x)}{d}+\frac {b (2 a+3 b) \cosh ^3(c+d x)}{3 d}-\frac {3 b^2 \cosh ^5(c+d x)}{5 d}+\frac {b^2 \cosh ^7(c+d x)}{7 d}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.04, size = 146, normalized size = 1.59 \begin {gather*} -\frac {3 a b \cosh (c+d x)}{2 d}-\frac {35 b^2 \cosh (c+d x)}{64 d}+\frac {a b \cosh (3 (c+d x))}{6 d}+\frac {7 b^2 \cosh (3 (c+d x))}{64 d}-\frac {7 b^2 \cosh (5 (c+d x))}{320 d}+\frac {b^2 \cosh (7 (c+d x))}{448 d}-\frac {a^2 \log \left (\cosh \left (\frac {c}{2}+\frac {d x}{2}\right )\right )}{d}+\frac {a^2 \log \left (\sinh \left (\frac {c}{2}+\frac {d x}{2}\right )\right )}{d} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(233\) vs.
\(2(86)=172\).
time = 1.32, size = 234, normalized size = 2.54
method | result | size |
risch | \(\frac {b^{2} {\mathrm e}^{7 d x +7 c}}{896 d}-\frac {7 b^{2} {\mathrm e}^{5 d x +5 c}}{640 d}+\frac {{\mathrm e}^{3 d x +3 c} a b}{12 d}+\frac {7 \,{\mathrm e}^{3 d x +3 c} b^{2}}{128 d}-\frac {3 a b \,{\mathrm e}^{d x +c}}{4 d}-\frac {35 \,{\mathrm e}^{d x +c} b^{2}}{128 d}-\frac {3 \,{\mathrm e}^{-d x -c} a b}{4 d}-\frac {35 \,{\mathrm e}^{-d x -c} b^{2}}{128 d}+\frac {{\mathrm e}^{-3 d x -3 c} a b}{12 d}+\frac {7 \,{\mathrm e}^{-3 d x -3 c} b^{2}}{128 d}-\frac {7 b^{2} {\mathrm e}^{-5 d x -5 c}}{640 d}+\frac {b^{2} {\mathrm e}^{-7 d x -7 c}}{896 d}+\frac {a^{2} \ln \left ({\mathrm e}^{d x +c}-1\right )}{d}-\frac {a^{2} \ln \left ({\mathrm e}^{d x +c}+1\right )}{d}\) | \(229\) |
default | \(\frac {b^{2} \left (\frac {\left (\cosh ^{7}\left (d x +c \right )\right )}{7}+\frac {\left (\cosh ^{5}\left (d x +c \right )\right )}{5}+\frac {\left (\cosh ^{3}\left (d x +c \right )\right )}{3}+\cosh \left (d x +c \right )-2 \arctanh \left ({\mathrm e}^{d x +c}\right )\right )-4 b^{2} \left (\frac {\left (\cosh ^{5}\left (d x +c \right )\right )}{5}+\frac {\left (\cosh ^{3}\left (d x +c \right )\right )}{3}+\cosh \left (d x +c \right )-2 \arctanh \left ({\mathrm e}^{d x +c}\right )\right )+2 a b \left (\frac {\left (\cosh ^{3}\left (d x +c \right )\right )}{3}+\cosh \left (d x +c \right )-2 \arctanh \left ({\mathrm e}^{d x +c}\right )\right )+6 b^{2} \left (\frac {\left (\cosh ^{3}\left (d x +c \right )\right )}{3}+\cosh \left (d x +c \right )-2 \arctanh \left ({\mathrm e}^{d x +c}\right )\right )-4 a b \left (\cosh \left (d x +c \right )-2 \arctanh \left ({\mathrm e}^{d x +c}\right )\right )-4 b^{2} \left (\cosh \left (d x +c \right )-2 \arctanh \left ({\mathrm e}^{d x +c}\right )\right )-2 a^{2} \arctanh \left ({\mathrm e}^{d x +c}\right )-4 a b \arctanh \left ({\mathrm e}^{d x +c}\right )-2 b^{2} \arctanh \left ({\mathrm e}^{d x +c}\right )}{d}\) | \(234\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 177 vs.
\(2 (86) = 172\).
time = 0.27, size = 177, normalized size = 1.92 \begin {gather*} -\frac {1}{4480} \, b^{2} {\left (\frac {{\left (49 \, e^{\left (-2 \, d x - 2 \, c\right )} - 245 \, e^{\left (-4 \, d x - 4 \, c\right )} + 1225 \, e^{\left (-6 \, d x - 6 \, c\right )} - 5\right )} e^{\left (7 \, d x + 7 \, c\right )}}{d} + \frac {1225 \, e^{\left (-d x - c\right )} - 245 \, e^{\left (-3 \, d x - 3 \, c\right )} + 49 \, e^{\left (-5 \, d x - 5 \, c\right )} - 5 \, e^{\left (-7 \, d x - 7 \, c\right )}}{d}\right )} + \frac {1}{12} \, a b {\left (\frac {e^{\left (3 \, d x + 3 \, c\right )}}{d} - \frac {9 \, e^{\left (d x + c\right )}}{d} - \frac {9 \, e^{\left (-d x - c\right )}}{d} + \frac {e^{\left (-3 \, d x - 3 \, c\right )}}{d}\right )} + \frac {a^{2} \log \left (\tanh \left (\frac {1}{2} \, d x + \frac {1}{2} \, c\right )\right )}{d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 1575 vs.
\(2 (86) = 172\).
time = 0.43, size = 1575, normalized size = 17.12 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-2)]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Exception raised: SystemError} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 196 vs.
\(2 (86) = 172\).
time = 0.46, size = 196, normalized size = 2.13 \begin {gather*} \frac {15 \, b^{2} e^{\left (7 \, d x + 7 \, c\right )} - 147 \, b^{2} e^{\left (5 \, d x + 5 \, c\right )} + 1120 \, a b e^{\left (3 \, d x + 3 \, c\right )} + 735 \, b^{2} e^{\left (3 \, d x + 3 \, c\right )} - 10080 \, a b e^{\left (d x + c\right )} - 3675 \, b^{2} e^{\left (d x + c\right )} - 13440 \, a^{2} \log \left (e^{\left (d x + c\right )} + 1\right ) + 13440 \, a^{2} \log \left ({\left | e^{\left (d x + c\right )} - 1 \right |}\right ) - {\left (10080 \, a b e^{\left (6 \, d x + 6 \, c\right )} + 3675 \, b^{2} e^{\left (6 \, d x + 6 \, c\right )} - 1120 \, a b e^{\left (4 \, d x + 4 \, c\right )} - 735 \, b^{2} e^{\left (4 \, d x + 4 \, c\right )} + 147 \, b^{2} e^{\left (2 \, d x + 2 \, c\right )} - 15 \, b^{2}\right )} e^{\left (-7 \, d x - 7 \, c\right )}}{13440 \, d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.34, size = 198, normalized size = 2.15 \begin {gather*} \frac {b^2\,{\mathrm {e}}^{-7\,c-7\,d\,x}}{896\,d}-\frac {2\,\mathrm {atan}\left (\frac {a^2\,{\mathrm {e}}^{d\,x}\,{\mathrm {e}}^c\,\sqrt {-d^2}}{d\,\sqrt {a^4}}\right )\,\sqrt {a^4}}{\sqrt {-d^2}}-\frac {{\mathrm {e}}^{-c-d\,x}\,\left (35\,b^2+96\,a\,b\right )}{128\,d}-\frac {7\,b^2\,{\mathrm {e}}^{-5\,c-5\,d\,x}}{640\,d}-\frac {7\,b^2\,{\mathrm {e}}^{5\,c+5\,d\,x}}{640\,d}-\frac {{\mathrm {e}}^{c+d\,x}\,\left (35\,b^2+96\,a\,b\right )}{128\,d}+\frac {b^2\,{\mathrm {e}}^{7\,c+7\,d\,x}}{896\,d}+\frac {b\,{\mathrm {e}}^{-3\,c-3\,d\,x}\,\left (32\,a+21\,b\right )}{384\,d}+\frac {b\,{\mathrm {e}}^{3\,c+3\,d\,x}\,\left (32\,a+21\,b\right )}{384\,d} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________